History dependence of the magnetic properties of single-crystal Fe1−x_{1-x}Cox_{x}Si

We report the magnetization, ac susceptibility, and specific heat of optically float-zoned single crystals of Fe$_{1-x}$Co$_{x}$Si, $0.20 \leq x \leq 0.50$. We determine the magnetic phase diagrams for all major crystallographic directions and cooling histories. After zero-field cooling, the phase diagrams resemble that of the archetypal stoichiometric cubic chiral magnet MnSi. Besides the helical and conical state, we observe a pocket of skyrmion lattice phase just below the helimagnetic ordering temperature. At the phase boundaries between these states evidence for slow dynamics is observed. When the sample is cooled in small magnetic fields, the phase pocket of skyrmion lattice may persist metastably down to lowest temperatures. Taken together with the large variation of the transition temperatures, transition fields, and the helix wavelength as a function of composition, this hysteresis identifies Fe$_{1-x}$Co$_{x}$Si as an ideal material for future experiments exploring, for instance, the topological unwinding of the skyrmion lattice.Comment: 14 pages, 11 figure

Economic integration and the optimal corporate tax structure with heterogeneous firms

We study the optimal combination of corporate tax rate and tax base in a model of a small open economy with heterogeneous firms. We show that it is optimal for the small country's government to e®ectively subsidize capital inputs by granting a tax allowance in excess of the true costs of capital. Economic integration reduces the optimal capital subsidy and drives low-productivity firms from the small country's home market, replacing them with high-productivity exporters from abroad. This endogenous policy response creates a selection effect that increases the average productivity of home firms when trade barriers fall, in addition to the well-known direct effects

Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude

Pervasive user-centric applications are systems which are meant to sense the presence, mood, and intentions of users in order to optimize user comfort and performance. Building such applications requires not only state-of-the art techniques from artificial intelligence but also sound software engineering methods for facilitating modular design, runtime adaptation and verification of critical system requirements. In this paper we focus on high-level design and analysis, and use the algebraic rewriting language Real-Time Maude for specifying applications in a real-time setting. We propose a generic component-based approach for modeling pervasive user-centric systems and we show how to analyze and prove crucial properties of the system architecture through model checking and simulation. For proving time-dependent properties we use Metric Temporal Logic (MTL) and present analysis algorithms for model checking two subclasses of MTL formulas: time-bounded response and time-bounded safety MTL formulas. The underlying idea is to extend the Real-Time Maude model with suitable clocks, to transform the MTL formulas into LTL formulas over the extended specification, and then to use the LTL model checker of Maude. It is shown that these analyses are sound and complete for maximal time sampling. The approach is illustrated by a simple adaptive advertising scenario in which an adaptive advertisement display can react to actions of the users in front of the display.Comment: In Proceedings RTRTS 2010, arXiv:1009.398

Electronic Properties of Lithiated SnO-based Anode Materials

In this paper we use an ab-initio quantum transport approach to study the electron current flowing through lithiated SnO anodes for potential applications in Li-ion batteries. By investigating a set of lithiated structures with varying lithium concentrations, it is revealed that LixSnO can be a good conductor, with values comparable to bulk $\beta$-Sn and Li. A deeper insight into the current distribution indicates that electrons preferably follow specific trajectories, which offer superior conducting properties than others. These channels have been identified and it is shown here how they can enhance or deteriorate the current flow in lithiated anode materials